home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Aminet 37
/
Aminet 37 (2000)(Schatztruhe)[!][Jun 2000].iso
/
Aminet
/
dev
/
lang
/
sofa.lha
/
sofa
/
smalleiffel
/
lib_se
/
tmp_name.e
< prev
next >
Wrap
Text File
|
2000-03-25
|
9KB
|
297 lines
-- This file is part of SmallEiffel The GNU Eiffel Compiler.
-- Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
-- Dominique COLNET and Suzanne COLLIN - colnet@loria.fr
-- http://SmallEiffel.loria.fr
-- SmallEiffel is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License as published by the Free
-- Software Foundation; either version 2, or (at your option) any later
-- version. SmallEiffel is distributed in the hope that it will be useful,but
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-- for more details. You should have received a copy of the GNU General
-- Public License along with SmallEiffel; see the file COPYING. If not,
-- write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-- Boston, MA 02111-1307, USA.
--
expanded class TMP_NAME
--
-- Singleton object used by `eiffel_parser' to have a temporary storage of
-- an unkown name during syntax analysis.
--
inherit GLOBALS;
feature {EIFFEL_PARSER}
buffer: STRING is " ";
start_position: POSITION;
line: INTEGER is
do
Result := start_position.line;
end;
column: INTEGER is
do
Result := start_position.column;
end;
reset(sp: like start_position) is
do
start_position := sp;
buffer.clear;
aliased_string_memory := Void;
end;
extend(ch: CHARACTER) is
do
buffer.extend(ch);
end;
is_current: BOOLEAN is
do
if buffer.count = 7 then
Result := as_current.same_as(buffer);
end;
end;
is_result: BOOLEAN is
do
if buffer.count = 6 then
Result := as_result.same_as(buffer);
end;
end;
is_void: BOOLEAN is
do
if buffer.count = 4 then
Result := as_void.same_as(buffer);
end;
end;
aliased_string: STRING is
do
if aliased_string_memory = Void then
aliased_string_memory := string_aliaser.item(buffer);
end;
Result := aliased_string_memory;
end;
isa_keyword: BOOLEAN is
local
c: CHARACTER;
do
c := buffer.first.to_lower;
inspect
c
when 'a' then
if fz_alias.same_as(buffer) then
Result := true;
elseif fz_all.same_as(buffer) then
Result := true;
elseif as_and.same_as(buffer) then
Result := true;
else
Result := fz_as.same_as(buffer);
end;
when 'c' then
if fz_check.same_as(buffer) then
Result := true;
elseif fz_class.same_as(buffer) then
Result := true;
elseif fz_create.same_as(buffer) then
eh.add_position(start_position);
eh.append("In order to be ready for the new Eiffel %
%definition, you should avoid the %"create%" %
%feature name because it may be used as a new %
%keyword in the next ETL definition.");
eh.print_as_warning;
-- *** Waiting modification of ETL : Result := true;
else
Result := fz_creation.same_as(buffer);
end;
when 'd' then
if fz_debug.same_as(buffer) then
Result := true;
elseif fz_deferred.same_as(buffer) then
Result := true;
else
Result := fz_do.same_as(buffer);
end;
when 'e' then
if fz_else.same_as(buffer) then
Result := true;
elseif fz_elseif.same_as(buffer) then
Result := true;
elseif fz_end.same_as(buffer) then
Result := true;
elseif fz_ensure.same_as(buffer) then
Result := true;
elseif fz_expanded.same_as(buffer) then
Result := true;
elseif fz_export.same_as(buffer) then
Result := true;
else
Result := fz_external.same_as(buffer);
end;
when 'f' then
if fz_false.same_as(buffer) then
Result := true;
elseif fz_feature.same_as(buffer) then
Result := true;
elseif fz_from.same_as(buffer) then
Result := true;
else
Result := fz_frozen.same_as(buffer);
end;
when 'i' then
if fz_if.same_as(buffer) then
Result := true;
elseif as_implies.same_as(buffer) then
Result := true;
elseif fz_indexing.same_as(buffer) then
Result := true;
elseif fz_infix.same_as(buffer) then
Result := true;
elseif fz_inherit.same_as(buffer) then
Result := true;
elseif fz_inspect.same_as(buffer) then
Result := true;
elseif fz_invariant.same_as(buffer) then
Result := true;
else
Result := fz_is.same_as(buffer);
end;
when 'l' then
if fz_like.same_as(buffer) then
Result := true;
elseif fz_local.same_as(buffer) then
Result := true;
else
Result := fz_loop.same_as(buffer);
end;
when 'o' then
if fz_obsolete.same_as(buffer) then
Result := true;
elseif fz_old.same_as(buffer) then
Result := true;
elseif fz_once.same_as(buffer) then
Result := true;
else
Result := as_or.same_as(buffer);
end;
when 'p' then
if as_precursor.same_as(buffer) then
Result := true;
else
Result := fz_prefix.same_as(buffer);
end;
when 'r' then
if fz_redefine.same_as(buffer) then
Result := true;
elseif fz_rename.same_as(buffer) then
Result := true;
elseif fz_require.same_as(buffer) then
Result := true;
elseif fz_rescue.same_as(buffer) then
Result := true;
else
Result := fz_retry.same_as(buffer);
end;
when 's' then
if fz_select.same_as(buffer) then
Result := true;
elseif fz_separate.same_as(buffer) then
Result := true;
else
Result := fz_strip.same_as(buffer);
end;
when 't' then
if fz_then.same_as(buffer) then
Result := true;
else
Result := fz_true.same_as(buffer);
end;
when 'u' then
if fz_undefine.same_as(buffer) then
Result := true;
elseif fz_unique.same_as(buffer) then
Result := true;
else
Result := fz_until.same_as(buffer);
end;
when 'v' then
Result := fz_variant.same_as(buffer);
when 'w' then
Result := fz_when.same_as(buffer);
when 'x' then
Result := as_xor.same_as(buffer);
else
end;
end;
to_argument_name1: ARGUMENT_NAME1 is
do
!!Result.make(start_position,aliased_string);
end;
to_argument_name2(fal: FORMAL_ARG_LIST; rank: INTEGER): ARGUMENT_NAME2 is
do
!!Result.refer_to(start_position,fal,rank);
end;
to_class_name: CLASS_NAME is
do
!!Result.make(aliased_string,start_position);
end;
to_e_void: E_VOID is
require
is_void
do
!!Result.make(start_position);
end;
to_simple_feature_name: SIMPLE_FEATURE_NAME is
do
!!Result.make(aliased_string,start_position);
end;
to_infix_name_use: INFIX_NAME is
do
!!Result.make(aliased_string,start_position);
end;
to_infix_name(sp: POSITION): INFIX_NAME is
do
!!Result.make(aliased_string,sp);
end;
to_local_name1: LOCAL_NAME1 is
do
!!Result.make(start_position,aliased_string);
end;
to_local_name2(lvl: LOCAL_VAR_LIST; rank: INTEGER): LOCAL_NAME2 is
do
!!Result.refer_to(start_position,lvl,rank);
end;
to_prefix_name: PREFIX_NAME is
do
!!Result.make(aliased_string,start_position);
end;
to_tag_name: TAG_NAME is
do
!!Result.make(aliased_string,start_position);
end;
feature {NONE}
aliased_string_memory: STRING;
end -- TMP_NAME
